Modeling Mental States in Agent-Oriented Requirements Engineering
نویسندگان
چکیده
This paper describes an agent-oriented requirements engineering approach that combines informal i* models with formal specifications in the multiagent system specification formalism CASL. This allows the requirements engineer to exploit the complementary features of the frameworks. i* can be used to model social dependencies between agents and how process design choices affect the agents’ goals. CASL can be used to model complex processes formally. We introduce an intermediate notation to support the mapping between i* models and CASL specifications. In the combined i*-CASL framework, agents’ goals and knowledge are represented as their mental states, which allows for the formal analysis and verification of, among other things, complex agent interactions and incomplete knowledge. Our models can also serve as high-level specifications for multiagent systems.
منابع مشابه
Modeling Mental States in Requirements Engineering – An Agent-Oriented Framework Based on i* and CASL
متن کامل
Trust: From Cognition to Conceptual Models and Design
Dealing with trust in eGov services p. 18 Trusted interaction : user control and system responsibilities in interaction design for information systems p. 20 Designing security requirements models through planning p. 33 Towards a comprehensive framework for secure systems development p. 48 Role-based modelling of interactions in database applications p. 63 Incremental evaluation of OCL constrain...
متن کاملChapter V Combining Requirements Engineering and Agents
The concept of Agent is being used with different meanings and purposes in two separate fields of software engineering, namely Requirements Engineering and Agent-Oriented Software Engineering. After an introduction to Goal-Oriented Requirements Engineering (GORE) and its evolution into Agent-Oriented Requirements Engineering (AORE), this chapter provides a review of some of the main Agent-Orien...
متن کاملAgent-oriented Requirements Modeling
A standard way of describing requirements for system design is according to function. One describes high level functions of the operation of the system and decomposes these into lower level functions which perhaps overlap. For complex systems the number of functions can be large and they may interact, making it important to have a methodical way of describing the structure of functions and thei...
متن کاملAn Agent- based Modeling for Breast Tissue Simulation and the Growth and Spread of Tumor in Various Breast Cancer States
Introduction: Breast cancer is a cancer that is caused by abnormal growth of breast cells. Modeling and simulation of the growth and treatment of breast cancer, along with providing the possibility of doing experiments and research, can reduce the time and cost of treatment by predicting some cases. The purpose of the present research was to develop an agent-based model for the simulation of b...
متن کامل